1: (M, b, # ,
    h -> g, ..e)
h
